module Pippo

let a = 1
in
System.Console.WriteLine("Hello world!!!")